Search for: All records

Searching for land refugia becomes imperative for human survival during the hypothetical sixth mass extinction. Studying past comparable crises can offer insights, but there is no fossil evidence of diverse megafloral ecosystems surviving the largest Phanerozoic biodiversity crisis. Here, we investigated palynomorphs, plant, and tetrapod fossils from the Permian-Triassic South Taodonggou Section in Xinjiang, China. Our fossil records, calibrated by a high-resolution age model, reveal the presence of vibrant regional gymnospermous forests and fern fields, while marine organisms experienced mass extinction. This refugial vegetation was crucial for nourishing the substantial influx of surviving animals, thereby establishing a diverse terrestrial ecosystem approximately 75,000 years after the mass extinction. Our findings contradict the widely held belief that restoring terrestrial ecosystem functional diversity to pre-extinction levels would take millions of years. Our research indicates that moderate hydrological fluctuations throughout the crisis sustained this refugium, likely making it one of the sources for the rapid radiation of terrestrial life in the early Mesozoic. 

Abstract Zero-knowledge succinct non-interactive arguments of knowledge (zk-SNARKs) are cryptographic protocols that offer efficient and privacy-preserving means of verifying NP language relations and have drawn considerable attention for their appealing applications, e.g., verifiable computation and anonymous payment protocol. Compared with the pre-quantum case, the practicability of this primitive in the post-quantum setting is still unsatisfactory, especially for the space complexity. To tackle this issue, this work seeks to enhance the efficiency and compactness of lattice-based zk-SNARKs, including proof length and common reference string (CRS) length. In this paper, we develop the framework of square span program-based SNARKs and design new zk-SNARKs over cyclotomic rings. Compared with previous works, our construction is without parallel repetition and achieves shorter proof and CRS lengths than previous lattice-based zk-SNARK schemes. Particularly, the proof length of our scheme is around$$23.3\%$$ $23.3\%$smaller than the recent shortest lattice-based zk-SNARKs by Ishai et al. (in: Proceedings of the 2021 ACM SIGSAC conference on computer and communications security, pp 212–234, 2021), and the CRS length is$$3.6\times$$ $3.6\times$smaller. Our constructions follow the framework of Gennaro et al. (in: Proceedings of the 2018 ACM SIGSAC conference on computer and communications security, pp 556–573, 2018), and adapt it to the ring setting by slightly modifying the knowledge assumptions. We develop concretely small constructions by using module-switching and key-switching procedures in a novel way. 

The expression of a few key genes determines the body plan of the fruit fly. We show that the spatial expression patterns for several of these genes scale precisely with embryo size. Discrete positional markers such as the peaks in striped patterns or the boundaries of expression domains have positions along the embryo’s major axis proportional to embryo length, accurate to within 1%. Further, the information (in bits) that graded patterns of expression provide about a cell’s position can be decomposed into information about fractional or scaled position and information about absolute position or embryo length; all information available is about scaled position, with $<$2% error. These findings imply that the underlying genetic network’s behavior exhibits scale invariance in a more precise mathematical sense. We argue that models that can explain this scale invariance also have a “zero mode” in the dynamics of gene expression, and this connects to observations on the spatial correlation of fluctuations in expression levels.